Relação binária em que todo elemento do conjunto da esquerda tem um elemento correspondente no conjunto da direita.